modus ponens
取式，演绎推理
热门查询
- positive n. 正数；[摄] 正片 adj. 积极的；[数] 正的，[医][化学] 阳性的；确定的，肯定的；实际的，真实的；绝对的
- wrangler n. 争论者；口角者；牧人
- one-way adj. 单程的；单行道的；单方面的
- humanly adv. 以人力；像人地；在人力所能及的范围
- tightrope n. 拉紧的绳索
- Bayley [人名] [英格兰人姓氏] 贝利 Bailey的变体
- purposiveness n. 目的性
- commingling n. 混合；混杂 v. 合采；混入（commingle的ing形式）
- wise adj. 明智的；聪明的；博学的 vt. 使知道；教导 vi. 了解 n. (Wise)人名；(英)怀斯
- changing n. 改变；转换；替换 v. 改变（change的ing形式）；交换；兑换 adj. 变化的；发展的
- brutalized vt. 残酷地对待；使像野兽般残忍，使变得残酷无情 vi. 变粗暴；变残忍
- Glyn 格林（姓氏）
- kerala n. 喀拉拉邦（印度西南部）
- saleable adj. 畅销的；可供出售的
- repudiation n. 否认，拒绝；抛弃，断绝关系
- electrodermal adj. 皮电活动的；皮电性质的
- transplant n. 移植；移植器官；被移植物；移居者 vt. 移植；迁移；使移居 vi. 移植；迁移；移居
- pastrami n. 熏牛肉之一种；五香烟熏牛肉
- trellis n. 格子；格子结构；框架 vt. 为...搭棚架；使交叉成格子状；使交织
- Griff n. <英方>深而狭的峡谷或沟壑; 刀箱
